GOLOG: A logic programming language for dynamic domains
نویسندگان
چکیده
منابع مشابه
GOLOG: A Logic Programming Language for Dynamic Domains
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and eeects of actions and the initial state of the world. This allows programs to reason about the state of the world and consider the eeects of various possible cou...
متن کاملALPprolog - A new logic programming method for dynamic domains
Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.
متن کاملA Logic for Non-Terminating Golog Programs
Typical Golog programs for robot control are nonterminating. Analyzing such programs so far requires metatheoretic arguments involving complex fix-point constructions. In this paper we propose a logic based on the situation calculus variant ES , which includes elements from branching time, dynamic and process logics and where the meaning of programs is modelled as possibly infinite sequences of...
متن کاملA Parallel Logic Programming Language for PEPSys
This paper describes a new parallel Logic Programming language designed to exploit the ORand Independent ANDparallelisms. The language is based on conventional Prolog but with natural extensions to support handling of multiple solutions and expression of parallelism. 1 . I n t r o d u c t i o n PEPSys (Parallel ECRC Prolog System) is a research project started in mid 1984 in the Computer Archit...
متن کاملLaPeL: a Logic Programming Language
Where ~t is a sequence of terms, ~x is a sequence of variables, and ~a is a sequence of assumptions. In the assumptions we write implication in the opposite direction than we normally do (i.e., “p(~t ) ⊂ g” rather than “g ⊃ p(~t )”). This is a standard convention in logic programming (e.g., Prolog) because it makes it easier for the programmer to understand the program; the meaning of implicati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1997
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(96)00121-5